机译:RSA和公钥密码学密码学简介密码学:密码学的理论和实践椭圆曲线的密码学:密码学中的数论和密码学椭圆曲线现代密码学,概率证明和伪随机性基础密码学:基本工具Rijndael的设计: -应用密码学高级加密标准手册
机译:理论和高阶语言的语义视图
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:高阶密码语言的测试理论(扩展摘要)
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:使用功能性经颅多普勒超声检查成人语言偏侧化的统一理论
机译:理论和高阶语言的语义观
机译:测试高阶拉格朗日微扰理论与数值模拟.1:薄饼模型